GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>George Boolos</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">George Boolos</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>George Stephen Boolos</b> (* <a href="4._September" title="4. September">4. September</a> <a href="1940" title="1940">1940</a> in <a href="New_York_City" title="New York City">New York</a>; † <a href="27._Mai" title="27. Mai">27. Mai</a> <a href="1996" title="1996">1996</a> in <a href="Cambridge_(Massachusetts)" title="Cambridge (Massachusetts)">Cambridge, Massachusetts</a>) war ein US-amerikanischer <a href="Philosoph" title="Philosoph">Philosoph</a> und <a href="Logik" title="Logik">Logiker</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Leben">Leben</h2></div>

<p>1961 machte Boolos den <a href="B.A." class="mw-redirect" title="B.A.">B.A.</a> in <a href="Mathematik" title="Mathematik">Mathematik</a> an der <a href="Princeton_University" title="Princeton University">Princeton University</a>, 1963 den <a href="Bachelor" title="Bachelor">B.Phil.</a> an der <a href="Oxford_University" class="mw-redirect" title="Oxford University">Oxford University</a>, 1966 den <a href="Ph.D." title="Ph.D.">Ph.D.</a> in <a href="Philosophie" title="Philosophie">Philosophie</a> am <a href="Massachusetts_Institute_of_Technology" title="Massachusetts Institute of Technology">Massachusetts Institute of Technology</a> (MIT). Dies war der erste Ph.D. in Philosophie, der beim MIT vergeben worden ist, Doktorvater war <a href="Hilary_Putnam" title="Hilary Putnam">Hilary Putnam</a>. Boolos war drei Jahre Lehrer an der <a href="Columbia_University" title="Columbia University">Columbia University</a>. Ab 1969 lehrte er am MIT, bis er an <a href="Krebs_(Medizin)" title="Krebs (Medizin)">Krebs</a> starb.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>

</p><p>Anfangs beschäftigte sich Boolos mit der Erweiterung von <a href="Kurt_G%C3%B6del" title="Kurt Gödel">Kurt Gödels</a> Beweis-Logik.

</p><p>Später befasste er sich intensiv mit <a href="Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a>. Zusammen mit <a href="Crispin_Wright" title="Crispin Wright">Crispin Wright</a> bewies er die Konsistenz eines modifizierten Systems von Freges <i>Grundgesetzen</i>: Ersetzt man das <a href="Grundgesetz_der_Werthverl%C3%A4ufe" title="Grundgesetz der Werthverläufe">Grundgesetz der Werthverläufe</a> durch <a href="Humes_Prinzip" title="Humes Prinzip">Humes Prinzip</a>, so vermeidet man die <a href="Russellsche_Antinomie" title="Russellsche Antinomie">Russellsche Antinomie</a>. Damit begründeten die beiden den Neo-<a href="Logizismus" title="Logizismus">Logizismus</a>.

</p><p>1992 wurde Boolos in die <a href="American_Academy_of_Arts_and_Sciences" title="American Academy of Arts and Sciences">American Academy of Arts and Sciences</a> gewählt.

</p>

<div class="mw-heading mw-heading2"><h2 id="Werke_von_Boolos">Werke von Boolos</h2></div>

<ul><li>2007 (1974) (with Richard Jeffrey). <i>Computability and Logic</i>. Cambridge: Cambridge University Press.</li>

<li>1979. <i>The Unprovability of Consistency: An Essay in <a href="Modallogik" title="Modallogik">Modal Logic</a></i>. Cambridge University Press.</li>

<li>1990 (editor). <i>Meaning and Method: Essays in Honor of <a href="Hilary_Putnam" title="Hilary Putnam">Hilary Putnam</a></i>. Cambridge University Press.</li>

<li>1993. <i>The Logic of Provability</i>. Cambridge University Press.</li>

<li>1998 (Richard Jeffrey and John P. Burgess, eds.). <i>Logic, Logic, and Logic</i>. Harvard University Press.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://web.mit.edu/philos/www/jjt-rlc-jc.html">MIT faculty resolution on Boolos' death</a></span>

</li>

</ol>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>Peter Simons (1982). „On understanding Lesniewski,“ <i>History and Philosophy of Logic</i>.</li>

<li><a href="Solomon_Feferman" title="Solomon Feferman">Solomon Feferman</a> (1960). „Arithmetization of metamathematics in a general setting,“ <i>Fundamentae Mathematica</i>, vol. 49, pp. 35–92.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

/* start https://de.wikipedia.org/ */

.mw-parser-output .webarchiv-memento a{color:inherit}

/* end https://de.wikipedia.org/ */

</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20090311134547/http://web.mit.edu/philos/www/boolos.html">MIT-Erinnerungsseite für George Boolos</a> (<span class="webarchiv-memento"><a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a></span> vom 11. März 2009 im <i><a href="Internet_Archive" title="Internet Archive">Internet Archive</a></i>)</li>

<li>George Boolos: <cite class="lang" lang="en" dir="auto" style="font-style:italic">The Hardest Logic Puzzle Ever</cite>. In: <cite class="lang" lang="en" dir="auto" style="font-style:italic">The Harvard Review of Philosophy</cite>. 6. Jahrgang, <span style="white-space:nowrap">Nr.<span style="display:inline-block;width:.2em"> </span>1</span>, 1996, <span style="white-space:nowrap">S.<span style="display:inline-block;width:.2em"> </span>62–65</span>, <a href="Digital_Object_Identifier" title="Digital Object Identifier">doi</a>:<span class="uri-handle" style="white-space:nowrap"><a rel="nofollow" class="external text" href="https://doi.org/10.5840/harvardreview1996615">10.5840/harvardreview1996615</a></span> (englisch, <a rel="nofollow" class="external text" href="https://web.archive.org/web/20120622100021/http://www.hcs.harvard.edu/~hrp/issues/1996/Boolos.pdf">hcs.harvard.edu</a> (<span class="webarchiv-memento"><a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a></span> des <style data-mw-deduplicate="TemplateStyles:r250917974">

/* start https://de.wikipedia.org/ */

.mw-parser-output .dewiki-iconexternal>a{background-position:center right!important;background-repeat:no-repeat!important}body.skin-minerva .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/OOjs_UI_icon_external-link-ltr-progressive.svg")!important;background-size:10px!important;padding-right:13px!important}body.skin-timeless .mw-parser-output .dewiki-iconexternal>a,body.skin-monobook .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/MediaWiki_external_link_icon.svg")!important;padding-right:13px!important}body.skin-vector .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/Link.ernal-small-ltr-progressive.svg")!important;background-size:0.857em!important;padding-right:1em!important}

/* end https://de.wikipedia.org/ */

</style><span class="dewiki-iconexternal"><a class="external text" href="https://redirecter.toolforge.org/?url=http%3A%2F%2Fwww.hcs.harvard.edu%2F%7Ehrp%2Fissues%2F1996%2FBoolos.pdf">Originals</a></span> vom 22. Juni 2012 im <i><a href="Internet_Archive" title="Internet Archive">Internet Archive</a></i>)).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rfr_id=info:sid/de.wikipedia.org:George+Boolos&rft.atitle=The+Hardest+Logic+Puzzle+Ever&rft.au=George%26%2332%3BBoolos&rft.date=1996&rft.doi=10.5840%2Fharvardreview1996615&rft.genre=journal&rft.issue=1&rft.jtitle=The+Harvard+Review+of+Philosophy&rft.pages=62-65&rft.volume=6.+Jahrgang" style="display:none"> </span></li></ul>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/171984196">171984196</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n88137851">n88137851</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/34530215/">34530215</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-04-04" href="https://de.wikipedia.org/wiki/?title=George_Boolos&oldid=254855464">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>